farkes lemma

Farkes引理